Demand-Driven Type Inference with Subgoal Pruning
نویسنده
چکیده
منابع مشابه
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability
After two decades of effort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, this paper proposes using a kind of demand-driven analysis where the number of active goals is carefully restricted. To achieve this restriction, the algorithm occasionally prunes goals by giving them solutions that are ...
متن کاملA Novel Heuristic Usage of Helpful Actions for Conformant-FF System
Conformant planning is usually transformed into a search problem in the space of belief states, where the combinatorial explosion of search space has been one of the most intractable problems. In this paper, we present a novel usage of the helpful action pruning technique in the Conformant-FF planner. The key idea is to change the way it deals with helpful actions and first consider actions fro...
متن کاملSubgoal Labeled Worked Examples Improve K-12 Teacher Performance in Computer Programming Training
Technology has become integrated into many facets of our lives. Due to the rapid onset of this integration, many current K-12 teachers do not have the skills required to supply the sudden demand for technical training. This deficit, in turn, has created a demand for professional development programs that allow working teachers to learn computer science so that they might become qualified to tea...
متن کاملComputational Aspects of the Intelligent Tutoring System MetaTutor
We present in this paper the architecture of MetaTutor, an intelligent tutoring system that teaches students meta-cognitive strategies while learning about complex science topics. A more in-depth presentation of the micro-dialogue component in MetaTutor is provided. This component handles the meta-cognitive strategy of subgoal generation. This strategy involves subgoal assessment and feedback g...
متن کاملNusselt Number Estimation along a Wavy Wall in an Inclined Lid-driven Cavity using Adaptive Neuro-Fuzzy Inference System (ANFIS)
In this study, an adaptive neuro-fuzzy inference system (ANFIS) was developed to determine the Nusselt number (Nu) along a wavy wall in a lid-driven cavity under mixed convection regime. Firstly, the main data set of input/output vectors for training, checking and testing of the ANFIS was prepared based on the numerical results of the lattice Boltzmann method (LBM). Then, the ANFIS was develope...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005